为了检查对软件进行修改后是否引入新的错误，需要对软件进行的测试类型为( )测试。